Hoping for the Truth - A Survey of the TPTP Logics
نویسندگان
چکیده
This paper compares features of the classical logics that are commonly used in the TPTP-based automated reasoning community for representing chosen aspects of “the world”, and the consequent implications for reasoning about these representations. The paper argues that increases in complexity in terms of representation and reasoning force users to compromise between the reliability of the representation and the reliability of the reasoning.
منابع مشابه
Truth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملRepresenting Logics of Theorem Provers TLTP: Tens of Logics for Theorem Provers
The TPTP language has been very successful as an interchange format for theorem proving problems in first-order logic. Recently, several efforts have been made to extend it to other logics. But these extensions raise two principal concerns. Firstly, they require a substantially more complex type system than first-order logic. Secondly, it becomes necessary to specify the relations between the v...
متن کاملبازخوانی روایات توریه و حکم آن
Some narrations are assumed to apply Toriya to avoid absolute lies. They also attribute the use of half-truth to the prophets. However, analysis of content and document of mentioned narrations, along with analyzing relevant verses in the Qurān and defining an acceptable criterion to distinguish truths from lies, show that half-truth is false. Regarding religious beliefs, it is considered to be ...
متن کاملTPTP and Beyond: Representation of Quantified Non-Classical Logics
The practical employment of automated deduction systems requires the user to input problem statements in a well-formed string representation. While this presentation is usually fixed by the respective system, the various language dialects of the TPTP library are meanwhile accepted as a de-facto standard for all current automated theorem provers based on classical logics. In the context of reaso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016